$\forall$$i$, $j$:$\mathbb{Z}$. ($i$ $<$ $j$) $\Leftarrow\!\Rightarrow$ (($i$+1) $\leq$ $j$)